$\uparrow$$b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$ then True else False fi